(set-logic QF_AX)
(set-info :status sat)
(set-info :smt-lib-version 2.6)
(declare-sort I 0)
(declare-sort E 0)
(declare-fun S () (Array I E))
(declare-fun SS () (Array I E))
(assert (= S SS))
(check-sat)
